Espl1<tm1.2Tno> targeted mutation 1.2 Tetsuo Noda Separase<null> Null/knockout http://identifiers.org/mgd/MGI:3624003 MGI:3624003